Optimal. Leaf size=147 \[ \frac{x^2 \sqrt{b x^2+c x^4} (5 b B-4 A c)}{4 b c^2}-\frac{3 \sqrt{b x^2+c x^4} (5 b B-4 A c)}{8 c^3}+\frac{3 b (5 b B-4 A c) \tanh ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{b x^2+c x^4}}\right )}{8 c^{7/2}}-\frac{x^6 (b B-A c)}{b c \sqrt{b x^2+c x^4}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.280451, antiderivative size = 147, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 6, integrand size = 26, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.231, Rules used = {2034, 788, 670, 640, 620, 206} \[ \frac{x^2 \sqrt{b x^2+c x^4} (5 b B-4 A c)}{4 b c^2}-\frac{3 \sqrt{b x^2+c x^4} (5 b B-4 A c)}{8 c^3}+\frac{3 b (5 b B-4 A c) \tanh ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{b x^2+c x^4}}\right )}{8 c^{7/2}}-\frac{x^6 (b B-A c)}{b c \sqrt{b x^2+c x^4}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2034
Rule 788
Rule 670
Rule 640
Rule 620
Rule 206
Rubi steps
\begin{align*} \int \frac{x^7 \left (A+B x^2\right )}{\left (b x^2+c x^4\right )^{3/2}} \, dx &=\frac{1}{2} \operatorname{Subst}\left (\int \frac{x^3 (A+B x)}{\left (b x+c x^2\right )^{3/2}} \, dx,x,x^2\right )\\ &=-\frac{(b B-A c) x^6}{b c \sqrt{b x^2+c x^4}}+\frac{1}{2} \left (-\frac{4 A}{b}+\frac{5 B}{c}\right ) \operatorname{Subst}\left (\int \frac{x^2}{\sqrt{b x+c x^2}} \, dx,x,x^2\right )\\ &=-\frac{(b B-A c) x^6}{b c \sqrt{b x^2+c x^4}}+\frac{(5 b B-4 A c) x^2 \sqrt{b x^2+c x^4}}{4 b c^2}-\frac{(3 (5 b B-4 A c)) \operatorname{Subst}\left (\int \frac{x}{\sqrt{b x+c x^2}} \, dx,x,x^2\right )}{8 c^2}\\ &=-\frac{(b B-A c) x^6}{b c \sqrt{b x^2+c x^4}}-\frac{3 (5 b B-4 A c) \sqrt{b x^2+c x^4}}{8 c^3}+\frac{(5 b B-4 A c) x^2 \sqrt{b x^2+c x^4}}{4 b c^2}+\frac{(3 b (5 b B-4 A c)) \operatorname{Subst}\left (\int \frac{1}{\sqrt{b x+c x^2}} \, dx,x,x^2\right )}{16 c^3}\\ &=-\frac{(b B-A c) x^6}{b c \sqrt{b x^2+c x^4}}-\frac{3 (5 b B-4 A c) \sqrt{b x^2+c x^4}}{8 c^3}+\frac{(5 b B-4 A c) x^2 \sqrt{b x^2+c x^4}}{4 b c^2}+\frac{(3 b (5 b B-4 A c)) \operatorname{Subst}\left (\int \frac{1}{1-c x^2} \, dx,x,\frac{x^2}{\sqrt{b x^2+c x^4}}\right )}{8 c^3}\\ &=-\frac{(b B-A c) x^6}{b c \sqrt{b x^2+c x^4}}-\frac{3 (5 b B-4 A c) \sqrt{b x^2+c x^4}}{8 c^3}+\frac{(5 b B-4 A c) x^2 \sqrt{b x^2+c x^4}}{4 b c^2}+\frac{3 b (5 b B-4 A c) \tanh ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{b x^2+c x^4}}\right )}{8 c^{7/2}}\\ \end{align*}
Mathematica [A] time = 0.136921, size = 113, normalized size = 0.77 \[ \frac{x \left (\sqrt{c} x \left (b c \left (12 A-5 B x^2\right )+2 c^2 x^2 \left (2 A+B x^2\right )-15 b^2 B\right )+3 b^{3/2} \sqrt{\frac{c x^2}{b}+1} (5 b B-4 A c) \sinh ^{-1}\left (\frac{\sqrt{c} x}{\sqrt{b}}\right )\right )}{8 c^{7/2} \sqrt{x^2 \left (b+c x^2\right )}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.009, size = 140, normalized size = 1. \begin{align*}{\frac{ \left ( c{x}^{2}+b \right ){x}^{3}}{8} \left ( 2\,B{c}^{7/2}{x}^{5}+4\,A{c}^{7/2}{x}^{3}-5\,B{c}^{5/2}{x}^{3}b+12\,A{c}^{5/2}xb-15\,B{c}^{3/2}x{b}^{2}-12\,A\ln \left ( x\sqrt{c}+\sqrt{c{x}^{2}+b} \right ) \sqrt{c{x}^{2}+b}b{c}^{2}+15\,B\ln \left ( x\sqrt{c}+\sqrt{c{x}^{2}+b} \right ) \sqrt{c{x}^{2}+b}{b}^{2}c \right ) \left ( c{x}^{4}+b{x}^{2} \right ) ^{-{\frac{3}{2}}}{c}^{-{\frac{9}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.48536, size = 625, normalized size = 4.25 \begin{align*} \left [-\frac{3 \,{\left (5 \, B b^{3} - 4 \, A b^{2} c +{\left (5 \, B b^{2} c - 4 \, A b c^{2}\right )} x^{2}\right )} \sqrt{c} \log \left (-2 \, c x^{2} - b + 2 \, \sqrt{c x^{4} + b x^{2}} \sqrt{c}\right ) - 2 \,{\left (2 \, B c^{3} x^{4} - 15 \, B b^{2} c + 12 \, A b c^{2} -{\left (5 \, B b c^{2} - 4 \, A c^{3}\right )} x^{2}\right )} \sqrt{c x^{4} + b x^{2}}}{16 \,{\left (c^{5} x^{2} + b c^{4}\right )}}, -\frac{3 \,{\left (5 \, B b^{3} - 4 \, A b^{2} c +{\left (5 \, B b^{2} c - 4 \, A b c^{2}\right )} x^{2}\right )} \sqrt{-c} \arctan \left (\frac{\sqrt{c x^{4} + b x^{2}} \sqrt{-c}}{c x^{2} + b}\right ) -{\left (2 \, B c^{3} x^{4} - 15 \, B b^{2} c + 12 \, A b c^{2} -{\left (5 \, B b c^{2} - 4 \, A c^{3}\right )} x^{2}\right )} \sqrt{c x^{4} + b x^{2}}}{8 \,{\left (c^{5} x^{2} + b c^{4}\right )}}\right ] \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{7} \left (A + B x^{2}\right )}{\left (x^{2} \left (b + c x^{2}\right )\right )^{\frac{3}{2}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (B x^{2} + A\right )} x^{7}}{{\left (c x^{4} + b x^{2}\right )}^{\frac{3}{2}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]